// RUN_PIPELINE_TILL: FRONTEND
// FIR_IDENTICAL
// KT-3563 Compiler requiring java.io.File, and it's unclear why

package bar

import java.io.File

class Customer(name1: String)

fun foo(f: File, c: Customer) {
    f.name1

    c.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>name1<!> // name1 should be unresolved here
}

val File.name1: String
    get() = getName()

/* GENERATED_FIR_TAGS: classDeclaration, flexibleType, functionDeclaration, getter, javaFunction, primaryConstructor,
propertyDeclaration, propertyWithExtensionReceiver */
